#include <g-bios.h>
#include <autoconf.h>
#include <arch/mem.h>


static __INIT__ int ArchHeapInit(void)
{
	ARCH_INFO("heap init, region = [0x%08x, 0x%08x]\n",
			g_pGBiosEnd, GBIOS_STACK_LIMIT);

	return GkInitHeap((CPUWORD)g_pGBiosEnd, GBIOS_STACK_LIMIT);
}

ARCH_INIT(ArchHeapInit);

